Computational mathematics - PDFSEARCH.IO - Document Search Engine

Computational mathematics
Results: 4662

#	Item
911	Z3 Lab exercises Leonardo de Moura and Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {leonardo, nbjorner}@microsoft.com June 18, 2008 Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Computational complexity theory Recreational mathematics Z3 Gray code Eight queens puzzle Sudoku Constraint satisfaction Bit array Longest path problem Mathematics Theoretical computer science NP-complete problems
912	Sub-Logarithmic Test-and-Set Against a Weak Adversary? Dan Alistarh1 and James Aspnes2 1 2 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:33:59 Analysis of algorithms Probabilistic complexity theory Randomized algorithm Consensus Algorithm Time complexity Adversary model Logarithm Theoretical computer science Computational complexity theory Applied mathematics
913	Lower Bounds for Restricted-Use Objects James Aspnes∗ Keren Censor-Hillel† Hagit Attiya‡ Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2015-04-30 10:34:00 Analysis of algorithms Time complexity Big O notation Theoretical computer science Computational complexity theory Applied mathematics
914	Asymptotic Optimality in Sampling-based Motion Planning Sertac Karaman Although one of the fundamental problems in robotics, the motion planning problem is inherently hard from a computational point of view. In particula Add to Reading List Source URL: iros2011.org Language: English - Date: 2011-09-21 07:00:30 Robot control Search algorithms Rapidly-exploring random tree Motion planning Algorithm Asymptotic computational complexity Asymptotically optimal algorithm Probabilistic roadmap Shortest path problem Applied mathematics Mathematics Theoretical computer science
915	On 21 September 2014, Alexej Chervonenkis went for a walk in a park on the outskirts of Moscow and got lost. He called his wife in the evening, and last talked to her around midnight, saying that he would try to sleep a Add to Reading List Source URL: people.tuebingen.mpg.de Language: English - Date: 2014-12-08 17:26:37 Computational learning theory Empirical process Year of birth missing Machine learning Alexey Chervonenkis Statistical classification Vladimir Vapnik Support vector machine Glivenko–Cantelli theorem Statistics Mathematics Mathematical sciences
916	Department of Mathematics Texas A&M University 3368 TAMU College Station, TXF Add to Reading List Source URL: see-math.math.tamu.edu Language: English - Date: 2015-02-14 23:22:02 Computational number theory Cryptography Factorization of polynomials over a finite field and irreducibility tests Polynomials Markov decision process Mathematics Coding theory Algebra
917	Sublinear-Time Algorithms for Monomer-Dimer Systems on Bounded Degree Graphs Marc Lelarge1,2 and Hang Zhou1 1 Ecole ´ Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2014-01-18 08:40:12 Analysis of algorithms Time complexity Algorithm Matching Theoretical computer science Computational complexity theory Applied mathematics
918	CALL FOR PAPERS 7th ************ NSV 2014 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-03-20 08:35:56** Computer science Mathematics Science Applied mathematics Computational science Numerical analysis Floating point
919	Sequential Model-Based Optimization for General Algorithm Configuration Frank Hutter, Holger H. Hoos and Kevin Leyton-Brown University of British Columbia, 2366 Main Mall, Vancouver BC, V6T 1Z4, Canada {hutter,hoos,kevin Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2014-12-16 08:35:37 Cybernetics Mathematical optimization NP-complete problems Formal methods Algorithm Genetic algorithm Ant colony optimization algorithms Evolutionary algorithm Computational complexity theory Applied mathematics Mathematics Theoretical computer science
920	Simulation of semiconductor devices with a local numerical approach G. Kosec1,2 and R. Trobec1 Parallel and Distributed Systems Laboratory Jožef Stefan Institute, Jamova 39 SI-1000 Ljubljana, Slovenia Add to Reading List Source URL: www-e6.ijs.si Language: English - Date: 2015-03-05 12:30:38 Numerical analysis Partial differential equations Computational science Computational fluid dynamics Discretization Finite element method Finite difference method Crash simulation Mathematical analysis Mathematics Calculus

UPDATE